Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models
نویسندگان
چکیده
منابع مشابه
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs
We are investigating on-line model-based test generation from non-deterministic output-observable Input/Output Extended Finite State Machine (I/O EFSM) models of Systems Under Test (SUTs). We propose a novel constraint-based heuristic approach (Heuristic Reactive Planning Tester (χRPT)) for on-line conformance testing non-deterministic SUTs. An indicative feature of χRPT is the capability of ma...
متن کاملGenetic Dissection of Some Important Agronomic Traits in Rice Using Line × Tester Method
A study was conducted on genetics of some important agronomic traits (number of productive tillers per hill, plant height (cm), panicle length (cm), number of spikelets per panicle and 100-grain weight) in rice during 2012-13. Two lines were crossed with five testers in line × tester fashion to produce 10 F1 hybrids. Analysis of variance revealed significant differences among genotyp...
متن کاملGenetic Dissection of Some Important Agronomic Traits in Rice Using Line × Tester Method
A study was conducted on genetics of some important agronomic traits (number of productive tillers per hill, plant height (cm), panicle length (cm), number of spikelets per panicle and 100-grain weight) in rice during 2012-13. Two lines were crossed with five testers in line × tester fashion to produce 10 F1 hybrids. Analysis of variance revealed significant differences among genotyp...
متن کاملUsing a new modified harmony search algorithm to solve multi-objective reactive power dispatch in deterministic and stochastic models
The optimal reactive power dispatch (ORPD) is a very important problem aspect of power system planning and is a highly nonlinear, non-convex optimization problem because consist of both continuous and discrete control variables. Since the power system has inherent uncertainty, hereby, this paper presents both of the deterministic and stochastic models for ORPD problem in multi objective and sin...
متن کاملComparison of the deterministic and fuzzy approaches in HR planning
Supplying required human resource is one of the strategic goals of an organization. Therefore, organizations plan and predict the required human resources in order to prevent this problem. Present study using practical approach seeks to assist organizations to achieve their various goals in human resources planning. The designed model in this study clarifies vague, inaccurate, and fuzzy exp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010